From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Horn Clauses
youtube.comยท3h
๐Ÿ‘‘Isabelle/HOL
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.orgยท16h
๐Ÿ’ปLocal LLMs
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท52mยท
๐Ÿ—‚Data structures
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Ÿ“Text Parsing
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Oops, My UUIDs Collided
alexsci.comยท1hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.orgยท5dยท
Discuss: Hacker News
๐Ÿ“Format Grammars
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท23mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐ŸŒณContext free grammars
Flag this post